what is resource allocation graph